Projectivity and freeness over comodule algebras

نویسنده

  • Serge Skryabin
چکیده

Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an application it is proved that every weakly finite (in particular, every finite dimensional) Hopf algebra is free both as a left and a right module over its finite dimensional right coideal subalgebras, and the latter are Frobenius algebras. Similar results are obtained for H-simple H-module algebras.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adjunctions between Hom and Tensor as endofunctors of (bi-) module category of comodule algebras over a quasi-Hopf algebra.

For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor endofunctors V k - and - kV are left adjoint to some kinds of  Hom-endofunctors of _HM. The units and counits of these adjunctions are formally trivial as in the classical case.The category of (bi-) modules over a quasi-Hopf algebra is monoidal and some generalized versions of  Hom-tensor relations have been st...

متن کامل

Projectivity and Flatness over the Colour Endomorphism Ring of a Finitely Generated Graded Comodule

Let k be a field, G an abelian group with a bicharacter, A a colour algebra; i.e., an associative graded k-algebra with identity, C a graded A-coring that is projective as a right A-module, C∗ the graded dual ring of C and Λ a left graded C-comodule that is finitely generated as a graded right C∗-module. We give necessary and sufficient conditions for projectivity and flatness of a graded modul...

متن کامل

Projectivity and Flatness over the Endomorphism Ring of a Finitely Generated Comodule

Let k be a commutative ring, A a k-algebra, C an A-coring that is projective as a left A-module, ∗C the dual ring of C and Λ a right C-comodule that is finitely generated as a left ∗C-module. We give necessary and sufficient conditions for projectivity and flatness of a module over the endomorphism ring EndC(Λ). If C contains a grouplike element, we can replace Λ with A.

متن کامل

Cohomology and Deformation of Module-algebras

An algebraic deformation theory of module-algebras over a bialgebra is constructed. The cases of module-coalgebras, comodule-algebras, and comodule-coalgebras are also considered.

متن کامل

Projectivity of a Relative Hopf Module over the Subring of Coinvariants

Let k be a commutative ring, H a faithfully flat Hopf algebra with bijective antipode, A a k-flat right H-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants B = A , and we study the semisimplicity of the category of relative Hopf modules.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007